/**
 * OK test header
 *
 * author: Marcin Wachulski
 *
 */
#include "OK.h"
#include "gtest\gtest.h"

bool is_sorted(const FormalContext &fc);